Actual KJ method flow